扫一扫
关注中图网
官方微博
>
关于“, , 顺尧, ”检索到 共2种现货商品
-
轧钢机、飞剪机、行星齿轮差速器设计与计算
¥43.2(7.2折)定价:¥60.0《轧钢机、飞剪机、行星齿轮差速器设计与计算》从设计角度出发，以设计中的计算为主线，结合作者几十年设计、科研工作经验和成果编著而成。全书共分4章，第1章用“正则方程”补充推导轧钢机机架、齿轮机架、H形架等超静定力计算公式；第2章介绍剪切轧件速度50m/s高速飞剪机及剪切φ200mm大断面飞剪机的设计计算；第3章介绍的差动调速将机械调速和电力调速紧密结合，巧妙地解决了各种调速难题，并对差动调速的核心设备行星齿轮差速器进行了全面系统的论
-
分析基础机器证明系统
¥156.4(7.9折)定价:¥198.0本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau有名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个有名等价命题间等价性的机器证明，这
